Rules Of Implication I Example